ABEL – A New Language for Assumption-Based Evidential Reasoning under Uncertainty∗
نویسندگان
چکیده
Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. The problem is that each of the existing systems has its own user interface and an individual language to model the knowledge and the queries. This paper proposes ABEL, a new and general language to express uncertain knowledge and corresponding queries. Examples from different domains show that ABEL is powerful and general enough to be used as common modeling language for the existing software systems. A prototype of ABEL is implemented in Evidenzia, a system restricted to models based on propositional logic. A general ABEL solver is actually being implemented. ∗Research supported by grant No.2100–042927.95 of the Swiss National Foundation for Research. 1
منابع مشابه
Assumption-Based Modeling Using ABEL
Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. The problem is that each of the existing systems has its own user interface and an individual language to model the knowledge and the queries. This paper proposes ABEL, a new and general language to express uncertain knowledge a...
متن کاملComprehensive Decision Modeling of Reverse Logistics System: A Multi-criteria Decision Making Model by using Hybrid Evidential Reasoning Approach and TOPSIS (TECHNICAL NOTE)
In the last two decades, product recovery systems have received increasing attention due to several reasons such as new governmental regulations and economic advantages. One of the most important activities of these systems is to assign returned products to suitable reverse manufacturing alternatives. Uncertainty of returned products in terms of quantity, quality, and time complicates the decis...
متن کاملModelling uncertainty with propositional assumption-based systems
This paper proposes assumption-based systems as an efficient and convenient way to encode uncertain information. Assumptionbased systems are obtained from propositional logic by including a special type of propositional symbol called assumption. Assumptions are needed to express the uncertainty of the given information. Assumptionbased systems can be used to judge hypotheses qualitatively or qu...
متن کاملAdaptive Fuzzy Evidential Reasoning Data Fusion Scheme and its Application to Brain Tissue Segmentation
This paper presents an adaptive fuzzy evidential reasoning approach for multi source based data fusion. A novel fuzzy evidence structure model is proposed under the assumption that each information source provides two types of evidence: probabilistic evidence (in terms of posteriori probabilities) and fuzzy evidence (in terms of fuzzy rules). A new information measure, called hybrid entropy, is...
متن کاملThe Generation of Explanations within Evidential Reasoning Systems
One of the most highly touted virtues of knowledge-based expert systems is their abil i ty to construct explanations of deduced lines of reasoning. However, there is a basic difficulty in generating explanations in expert systems that reason under uncertainty using numeric measures. In particular, systems based upon evidential reasoning using the theory of belief functions have lacked any facil...
متن کامل